منابع مشابه
Complete Reducibility and Separability
Let G be a reductive linear algebraic group over an algebraically closed field of characteristic p > 0. A subgroup of G is said to be separable in G if its global and infinitesimal centralizers have the same dimension. We study the interaction between the notion of separability and Serre’s concept of Gcomplete reducibility for subgroups of G. A separability hypothesis appears in many general th...
متن کاملPeriodic Cyclic Homology as Sheaf Cohomology
0. Introduction. This paper continues the study of the noncommutative innn-itesimal cohomology we introduced in 3]. This is the cohomology of sheaves on a noncommutative version of the commutative innnitesimal site of Grothendieck ((8]). Grothendieck showed that, for a smooth scheme X of characteristic zero, the cohomology of the structure sheaf on the innnitesimal site gives de Rham cohomol-og...
متن کاملComplete reducibility candidates
Deduction modulo is an extension of first-order predicate logic where axioms are replaced by a congruence relation on propositions and where many theories, such as arithmetic, simple type theory and some variants of set theory, can be expressed. An important question in deduction modulo is to find a condition of the theories that have the strong normalization property. Dowek and Werner have giv...
متن کاملComplete Reducibility of Pseudovarieties
The notion of reducibility for a pseudovariety has been introduced as an abstract property which may be used to prove decidability results for various pseudovariety constructions. This paper is a survey of recent results establishing this and the stronger property of complete reducibility for specific pseudovarieties.
متن کاملGround Reducibility is EXPTIME-Complete
We prove that ground reducibility is EXPTIME-complete in the general case. EXPTIME-hardness is proved by encoding the computations of an alternating Turing machine whose space is polynomially bounded. It is more difficult to show that ground reducibility belongs to DEXPTIME. We associate first an automaton with disequality constraints AR;t to a rewrite system R and a term t. This automaton is d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 1985
ISSN: 0021-8693
DOI: 10.1016/0021-8693(85)90093-6